#ifndef PHAL_BOOT_H_
#define PHAL_BOOT_H_


extern void phal_boot_start(void);
extern void phal_boot_finish(void);

#endif /*PHAL_BOOT_H_*/
